container.abstract_array.slice

(

type

from I,

to I

)

[Redefinition of Sequence.slice]

create a slice from this array's elements at index 'from' (included)
up to 'to' (excluded).

Complexity:
index access : O(1)
count : O(1)

Precondition

Inherited from Sequence.slice

pre
  debug : from ≥ 0
  debug : to = 0 || (if is_array_backed || debug_level > 1 then is_valid_index to-1 else true)
  debug : from <= to

Postcondition

Inherited from Sequence.slice

post
  debug: result.finite.is_yes_or_unknown
  debug: result.count = (to-from).as_i64

redefines:

Type Parameters

from

I¶

I¶

0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)

last changed: 2026-11-04